[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

474 474 53 1054 0 0 0 0 -1

N.S.

1 1.00 0.11 2.22 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.302 10.030 0.388 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

497 497 48 1083 0 24 0 0 -1

N.S.

1 1.00 0.10 2.18 0.00 0.05 0.00 0.00 -0.00

time (sec)

N/A 0.362 10.013 0.396 0.000 0.453 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 113 223 0 0 0 111 -1

N.S.

1 1.00 0.65 1.28 0.00 0.00 0.00 0.64 -0.01

time (sec)

N/A 0.109 0.220 0.392 0.000 0.000 0.000 0.821 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 95 181 0 0 0 83 -1

N.S.

1 1.00 0.82 1.56 0.00 0.00 0.00 0.72 -0.01

time (sec)

N/A 0.067 0.169 0.379 0.000 0.000 0.000 1.146 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 65 83 0 0 0 54 72

N.S.

1 1.00 1.16 1.48 0.00 0.00 0.00 0.96 1.29

time (sec)

N/A 0.041 0.119 0.383 0.000 0.000 0.000 1.196 5.243

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 160 0 19 0 25 -1

N.S.

1 1.00 1.00 6.40 0.00 0.76 0.00 1.00 -0.04

time (sec)

N/A 0.026 0.071 0.390 0.000 6.338 0.000 1.309 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 48 218 0 42 0 84 -1

N.S.

1 1.00 0.57 2.60 0.00 0.50 0.00 1.00 -0.01

time (sec)

N/A 0.080 0.095 0.375 0.000 4.042 0.000 2.366 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 72 262 0 64 0 146 -1

N.S.

1 1.00 0.51 1.85 0.00 0.45 0.00 1.03 -0.01

time (sec)

N/A 0.138 0.121 0.381 0.000 3.519 0.000 2.852 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 96 306 0 86 0 208 -1

N.S.

1 1.00 0.48 1.53 0.00 0.43 0.00 1.04 -0.00

time (sec)

N/A 0.201 0.131 0.390 0.000 3.845 0.000 1.149 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 137 549 0 0 0 150 -1

N.S.

1 1.00 0.70 2.79 0.00 0.00 0.00 0.76 -0.01

time (sec)

N/A 0.127 0.317 0.391 0.000 0.000 0.000 0.800 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 119 503 0 0 0 122 -1

N.S.

1 1.00 0.86 3.62 0.00 0.00 0.00 0.88 -0.01

time (sec)

N/A 0.091 0.331 0.391 0.000 0.000 0.000 0.705 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 90 237 0 0 0 94 -1

N.S.

1 1.00 1.17 3.08 0.00 0.00 0.00 1.22 -0.01

time (sec)

N/A 0.052 0.235 0.380 0.000 0.000 0.000 0.625 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 31 404 0 36 0 34 40

N.S.

1 1.00 1.24 16.16 0.00 1.44 0.00 1.36 1.60

time (sec)

N/A 0.004 0.121 0.385 0.000 6.192 0.000 0.594 5.426

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 55 524 0 63 0 0 -1

N.S.

1 1.00 0.70 6.63 0.00 0.80 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.152 0.456 0.000 2.942 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 81 570 0 87 0 0 -1

N.S.

1 1.00 0.59 4.16 0.00 0.64 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.167 0.382 0.000 2.409 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 105 614 0 109 0 0 -1

N.S.

1 1.00 0.54 3.15 0.00 0.56 0.00 0.00 -0.01

time (sec)

N/A 0.201 0.187 0.395 0.000 4.430 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 126 245 0 0 0 125 -1

N.S.

1 1.00 0.62 1.20 0.00 0.00 0.00 0.61 -0.00

time (sec)

N/A 0.121 0.244 0.390 0.000 0.000 0.000 0.552 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 108 203 0 0 0 97 -1

N.S.

1 1.00 0.74 1.39 0.00 0.00 0.00 0.66 -0.01

time (sec)

N/A 0.088 0.204 0.392 0.000 0.000 0.000 0.685 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 86 160 0 0 0 69 -1

N.S.

1 1.00 0.99 1.84 0.00 0.00 0.00 0.79 -0.01

time (sec)

N/A 0.056 0.174 0.380 0.000 0.000 0.000 0.586 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 40 133 0 0 0 37 -1

N.S.

1 1.00 1.18 3.91 0.00 0.00 0.00 1.09 -0.03

time (sec)

N/A 0.034 0.073 0.388 0.000 0.000 0.000 0.630 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 35 194 0 29 0 53 -1

N.S.

1 1.00 0.65 3.59 0.00 0.54 0.00 0.98 -0.02

time (sec)

N/A 0.051 0.086 0.519 0.000 3.736 0.000 0.595 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 59 240 0 50 0 115 -1

N.S.

1 1.00 0.53 2.14 0.00 0.45 0.00 1.03 -0.01

time (sec)

N/A 0.103 0.101 0.391 0.000 3.590 0.000 0.538 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 83 284 0 72 0 177 -1

N.S.

1 1.00 0.49 1.67 0.00 0.42 0.00 1.04 -0.01

time (sec)

N/A 0.164 0.115 0.407 0.000 2.974 0.000 0.537 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 124 527 0 0 0 136 -1

N.S.

1 1.00 0.73 3.08 0.00 0.00 0.00 0.80 -0.01

time (sec)

N/A 0.103 0.288 0.391 0.000 0.000 0.000 0.640 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 106 440 0 0 0 108 -1

N.S.

1 1.00 0.94 3.89 0.00 0.00 0.00 0.96 -0.01

time (sec)

N/A 0.071 0.291 0.386 0.000 0.000 0.000 0.728 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 76 240 0 0 0 0 -1

N.S.

1 1.00 1.27 4.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.047 0.168 0.431 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 46 111 0 54 0 26 -1

N.S.

1 1.00 1.53 3.70 0.00 1.80 0.00 0.87 -0.03

time (sec)

N/A 0.035 0.143 0.416 0.000 3.331 0.000 0.553 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 70 548 0 79 0 0 -1

N.S.

1 1.00 0.65 5.12 0.00 0.74 0.00 0.00 -0.01

time (sec)

N/A 0.108 0.171 0.388 0.000 2.800 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 96 592 0 101 0 0 -1

N.S.

1 1.00 0.58 3.59 0.00 0.61 0.00 0.00 -0.01

time (sec)

N/A 0.168 0.187 0.395 0.000 2.398 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 120 636 0 123 0 0 -1

N.S.

1 1.00 0.54 2.85 0.00 0.55 0.00 0.00 -0.00

time (sec)

N/A 0.230 0.206 0.384 0.000 3.529 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 155 264 0 0 0 0 -1

N.S.

1 1.00 0.51 0.88 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.346 10.132 0.351 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

411 411 136 273 0 0 0 0 -1

N.S.

1 1.00 0.33 0.66 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.397 10.108 0.370 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 118 198 0 0 0 0 -1

N.S.

1 1.00 0.55 0.93 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.203 10.081 0.343 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

323 323 94 207 0 0 0 0 40

N.S.

1 1.00 0.29 0.64 0.00 0.00 0.00 0.00 0.12

time (sec)

N/A 0.230 10.042 0.349 0.000 0.000 0.000 0.000 5.180

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 54 132 0 0 0 0 -1

N.S.

1 1.00 0.44 1.07 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.096 10.029 0.357 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 59 213 0 0 0 0 -1

N.S.

1 1.00 0.18 0.66 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.242 10.036 0.343 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 59 179 0 0 0 0 -1

N.S.

1 1.00 0.31 0.95 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.163 10.031 0.356 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

413 413 59 281 0 0 0 0 -1

N.S.

1 1.00 0.14 0.68 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.381 10.033 0.352 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 276 59 245 0 0 0 0 -1

N.S.

1 1.00 0.21 0.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.281 10.040 0.397 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 142 196 0 0 0 0 -1

N.S.

1 1.00 0.48 0.66 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.349 10.125 0.379 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

408 408 123 261 0 0 0 0 -1

N.S.

1 1.00 0.30 0.64 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.772 10.071 0.365 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 106 163 0 0 0 0 40

N.S.

1 1.00 0.51 0.78 0.00 0.00 0.00 0.00 0.19

time (sec)

N/A 0.211 10.067 0.350 0.000 0.000 0.000 0.000 5.193

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 60 228 0 0 0 0 -1

N.S.

1 1.00 0.19 0.71 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.232 10.027 0.354 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 60 130 0 0 0 0 -1

N.S.

1 1.00 0.42 0.90 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.136 10.046 0.347 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

350 350 62 339 0 0 0 0 -1

N.S.

1 1.00 0.18 0.97 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.297 10.042 0.342 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 62 168 0 0 0 0 -1

N.S.

1 1.00 0.29 0.79 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.198 10.041 0.338 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

438 438 62 411 0 0 0 0 -1

N.S.

1 1.00 0.14 0.94 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.422 10.034 0.346 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 62 201 0 0 0 0 -1

N.S.

1 1.00 0.21 0.67 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.328 10.039 0.344 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

304 304 161 196 0 0 0 0 -1

N.S.

1 1.00 0.53 0.64 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.352 10.079 0.350 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

414 414 143 261 0 0 0 0 -1

N.S.

1 1.00 0.35 0.63 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.405 10.064 0.346 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 124 163 0 0 0 0 -1

N.S.

1 1.00 0.57 0.75 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.212 10.062 0.345 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 106 228 0 0 0 0 -1

N.S.

1 1.00 0.33 0.70 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.247 10.052 0.349 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 80 127 0 0 0 0 40

N.S.

1 1.00 0.63 1.01 0.00 0.00 0.00 0.00 0.32

time (sec)

N/A 0.083 10.046 0.380 0.000 0.000 0.000 0.000 5.268

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

294 294 54 253 0 0 0 0 -1

N.S.

1 1.00 0.18 0.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.213 10.042 0.381 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 59 142 0 0 0 0 -1

N.S.

1 1.00 0.36 0.87 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.142 10.041 0.351 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

388 388 59 363 0 0 0 0 -1

N.S.

1 1.00 0.15 0.94 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.340 10.044 0.346 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 59 179 0 0 0 0 -1

N.S.

1 1.00 0.24 0.71 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.247 10.038 0.355 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

437 437 131 384 0 0 0 0 -1

N.S.

1 1.00 0.30 0.88 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.464 10.079 0.347 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 124 260 0 0 0 0 -1

N.S.

1 1.00 0.52 1.09 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.253 10.084 0.349 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

349 349 94 312 0 0 0 0 -1

N.S.

1 1.00 0.27 0.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.305 10.062 0.347 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 82 184 0 0 0 0 -1

N.S.

1 1.00 0.55 1.23 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.135 10.049 0.360 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 62 242 0 0 0 0 40

N.S.

1 1.00 0.21 0.82 0.00 0.00 0.00 0.00 0.14

time (sec)

N/A 0.181 10.028 0.354 0.000 0.000 0.000 0.000 5.351

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 62 180 0 0 0 0 -1

N.S.

1 1.00 0.39 1.14 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.138 10.049 0.355 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

383 383 64 339 0 0 0 0 -1

N.S.

1 1.00 0.17 0.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.335 10.040 0.357 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 64 261 0 0 0 0 -1

N.S.

1 1.00 0.26 1.06 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.252 10.038 0.350 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

471 471 64 411 0 0 0 0 -1

N.S.

1 1.00 0.14 0.87 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.486 10.040 0.352 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

371 371 185 156 0 1293 0 396 -1

N.S.

1 1.00 0.50 0.42 0.00 3.49 0.00 1.07 -0.00

time (sec)

N/A 0.422 0.110 0.383 0.000 291.525 0.000 1.826 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 133 123 0 0 0 312 -1

N.S.

1 1.00 0.47 0.43 0.00 0.00 0.00 1.10 -0.00

time (sec)

N/A 0.299 0.093 0.366 0.000 0.000 0.000 1.524 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 96 90 0 0 0 228 -1

N.S.

1 1.00 0.49 0.46 0.00 0.00 0.00 1.17 -0.01

time (sec)

N/A 0.184 0.064 0.354 0.000 0.000 0.000 1.200 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 74 57 0 0 0 143 40

N.S.

1 1.00 0.68 0.52 0.00 0.00 0.00 1.31 0.37

time (sec)

N/A 0.093 0.047 0.346 0.000 0.000 0.000 1.605 5.192

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 27 0 0 0 23 -1

N.S.

1 1.00 1.00 1.17 0.00 0.00 0.00 1.00 -0.04

time (sec)

N/A 0.031 0.038 0.359 0.000 0.000 0.000 1.513 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 76 79 0 0 0 72 -1

N.S.

1 1.00 0.84 0.88 0.00 0.00 0.00 0.80 -0.01

time (sec)

N/A 0.097 0.151 0.353 0.000 0.000 0.000 1.749 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 112 125 0 0 0 126 -1

N.S.

1 1.00 0.63 0.70 0.00 0.00 0.00 0.71 -0.01

time (sec)

N/A 0.198 0.220 0.352 0.000 0.000 0.000 1.531 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 149 167 0 0 0 177 -1

N.S.

1 1.00 0.56 0.63 0.00 0.00 0.00 0.67 -0.00

time (sec)

N/A 0.321 0.261 0.350 0.000 0.000 0.000 1.638 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

354 354 186 209 0 0 0 228 -1

N.S.

1 1.00 0.53 0.59 0.00 0.00 0.00 0.64 -0.00

time (sec)

N/A 0.436 0.325 0.360 0.000 0.000 0.000 1.640 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 168 145 0 0 0 770 -1

N.S.

1 1.00 0.49 0.42 0.00 0.00 0.00 2.24 -0.00

time (sec)

N/A 0.413 4.815 0.359 0.000 0.000 0.000 1.151 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 131 112 0 0 0 602 -1

N.S.

1 1.00 0.51 0.44 0.00 0.00 0.00 2.36 -0.00

time (sec)

N/A 0.283 4.860 0.360 0.000 0.000 0.000 1.675 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 94 79 0 768 0 434 40

N.S.

1 1.00 0.56 0.47 0.00 4.54 0.00 2.57 0.24

time (sec)

N/A 0.172 4.760 0.357 0.000 287.483 0.000 2.260 5.141

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 59 48 0 501 0 265 -1

N.S.

1 1.00 0.70 0.57 0.00 5.96 0.00 3.15 -0.01

time (sec)

N/A 0.097 4.750 0.459 0.000 234.821 0.000 1.839 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 88 69 0 0 0 83 -1

N.S.

1 1.00 1.13 0.88 0.00 0.00 0.00 1.06 -0.01

time (sec)

N/A 0.095 10.083 0.395 0.000 0.000 0.000 1.541 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 61 93 0 0 0 92 -1

N.S.

1 1.00 0.54 0.82 0.00 0.00 0.00 0.81 -0.01

time (sec)

N/A 0.127 10.060 0.389 0.000 0.000 0.000 2.584 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 61 139 0 0 0 143 -1

N.S.

1 1.00 0.30 0.68 0.00 0.00 0.00 0.70 -0.00

time (sec)

N/A 0.236 10.051 0.358 0.000 0.000 0.000 1.494 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 61 181 0 0 0 194 -1

N.S.

1 1.00 0.21 0.62 0.00 0.00 0.00 0.67 -0.00

time (sec)

N/A 0.346 10.056 0.343 0.000 0.000 0.000 1.715 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

379 379 61 223 0 0 0 245 -1

N.S.

1 1.00 0.16 0.59 0.00 0.00 0.00 0.65 -0.00

time (sec)

N/A 0.477 10.061 0.361 0.000 0.000 0.000 1.703 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

401 401 185 167 0 1294 0 206 -1

N.S.

1 1.00 0.46 0.42 0.00 3.23 0.00 0.51 -0.00

time (sec)

N/A 0.490 0.112 0.355 0.000 270.067 0.000 1.354 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 148 134 0 1031 0 164 -1

N.S.

1 1.00 0.47 0.43 0.00 3.29 0.00 0.52 -0.00

time (sec)

N/A 0.357 0.087 0.360 0.000 242.118 0.000 1.134 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 111 101 0 768 0 122 -1

N.S.

1 1.00 0.49 0.45 0.00 3.41 0.00 0.54 -0.00

time (sec)

N/A 0.226 0.077 0.352 0.000 176.966 0.000 1.161 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 74 68 0 502 0 80 -1

N.S.

1 1.00 0.54 0.50 0.00 3.66 0.00 0.58 -0.01

time (sec)

N/A 0.121 0.056 0.344 0.000 271.299 0.000 1.347 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 36 36 0 238 0 36 40

N.S.

1 1.00 0.77 0.77 0.00 5.06 0.00 0.77 0.85

time (sec)

N/A 0.035 0.035 0.343 0.000 211.263 0.000 1.221 5.219

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 61 61 0 0 0 51 -1

N.S.

1 1.00 1.00 1.00 0.00 0.00 0.00 0.84 -0.02

time (sec)

N/A 0.065 0.112 0.337 0.000 0.000 0.000 1.275 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 101 126 0 0 0 109 -1

N.S.

1 1.00 0.66 0.82 0.00 0.00 0.00 0.71 -0.01

time (sec)

N/A 0.161 0.171 0.336 0.000 0.000 0.000 1.042 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 138 188 0 0 0 160 -1

N.S.

1 1.00 0.57 0.78 0.00 0.00 0.00 0.66 -0.00

time (sec)

N/A 0.277 0.186 0.338 0.000 0.000 0.000 1.962 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

329 329 175 248 0 0 0 211 -1

N.S.

1 1.00 0.53 0.75 0.00 0.00 0.00 0.64 -0.00

time (sec)

N/A 0.392 0.240 0.342 0.000 0.000 0.000 1.387 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

336 336 161 143 0 2566 0 214 -1

N.S.

1 1.00 0.48 0.43 0.00 7.64 0.00 0.64 -0.00

time (sec)

N/A 0.394 4.179 0.389 0.000 197.195 0.000 2.088 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 122 110 0 2083 0 163 -1

N.S.

1 1.00 0.49 0.44 0.00 8.40 0.00 0.66 -0.00

time (sec)

N/A 0.268 4.124 0.375 0.000 224.791 0.000 1.901 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 85 77 0 1598 0 112 -1

N.S.

1 1.00 0.53 0.48 0.00 9.99 0.00 0.70 -0.01

time (sec)

N/A 0.155 4.366 0.359 0.000 192.097 0.000 1.940 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 45 45 0 1107 0 60 -1

N.S.

1 1.00 0.66 0.66 0.00 16.28 0.00 0.88 -0.01

time (sec)

N/A 0.059 4.127 0.350 0.000 214.171 0.000 1.626 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 71 56 0 0 0 71 40

N.S.

1 1.00 1.18 0.93 0.00 0.00 0.00 1.18 0.67

time (sec)

N/A 0.040 1.553 0.343 0.000 0.000 0.000 1.843 5.358

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 110 88 0 0 0 105 -1

N.S.

1 1.00 0.75 0.60 0.00 0.00 0.00 0.72 -0.01

time (sec)

N/A 0.167 4.209 0.349 0.000 0.000 0.000 1.264 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 48 126 0 0 0 156 -1

N.S.

1 1.00 0.20 0.53 0.00 0.00 0.00 0.66 -0.00

time (sec)

N/A 0.275 10.078 0.347 0.000 0.000 0.000 1.453 0.000

[next] [prev] [prev-tail] [front] [up]